Hard Life with Weak Binders
نویسندگان
چکیده
We introduce weak binders, a lightweight construct to deal withfresh names in nominal calculi. Weak binders do not define the scopeof names as precisely as the standard ν-binders, yet they enjoy strongsemantic properties. We provide them with a denotational seman-tics, an equational theory, and a trace inclusion preorder. Further-more, we present a trace-preserving mapping between weak bindersand ν-binders.
منابع مشابه
Calcium-based phosphate binders are appropriate in chronic renal failure.
Many nephrologists feel threatened by the allegation that, in patients with chronic renal failure, treatment with calcium-based phosphate binders (calcium acetate and calcium carbonate) may induce coronary artery and cardiac calcification, thereby imposing a greater risk for death compared with sevelamer, a non-calcium-based binder. Acknowledging that drug manufacturers are not unaware of the m...
متن کاملInfluences of Surface Characteristics and Modified Asphalt Binders on Interface Shear Strength
Weak bonding between layers of pavement leads to damages on the composite pavement. Bonding plays an important role in the durability and maintenance of composite pavement layers. The present study evaluates the factors effective in bond strength of the interface between concrete and asphalt pavements. The factors considered for this purpose include steel slag percentage in the concrete pavemen...
متن کاملStrong Induction Principles in the Locally Nameless Representation of Binders (Preliminary Notes)
When using the locally nameless representation for binders, proofs by rule induction over an inductively defined relation traditionally involve a weak and strong version of this relation, and a proof that both versions derive the same judgements. In these notes we demonstrate with examples that it is often sufficient to define just the weak version, using the infrastructure provided by the nomi...
متن کاملA QSAR evaluation of glucocorticoid receptor binding
Exposures to environmental concentrations of endocrine disrupting compounds are now a known threat to both human and ecological health. In the current study capabilities for structure-activity modeling incorporated in the platform QSAR Toolbox were employed for investigation the binding effect of set of chemicals toward glucocorticoid receptor. A total of 39 steroidal ligands were split in cate...
متن کاملSolvation Force in Hard Ellipsoid Molecular Liquids with Rod-Sphere and Rod- Surface Interactions
In previous work, one of us calculated the Solvation force of hard ellipsoid fluid with hard Gaussian overlap potential using hard needle wall interaction and non-linear equation proposed by Grimson- Rickyazen. In present work, using density functional theory and extended restricted orientation model, the solvation force of hard ellipsoid fluid in presence of more realistic rod- sphere and rod-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 242 شماره
صفحات -
تاریخ انتشار 2009